Miroslaw Truszczyński: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

New models for generating hard random boolean formulas and disjunctive logic programs

Amendola, Giovanni, Ricca, Francesco, Truszczynski, Miroslaw

Journal:

Artificial Intelligence

Year:

2020

Language:

english

File:

PDF, 2.08 MB

english, 2020

2

Answer set programming at a glance

Brewka, Gerhard, Eiter, Thomas, Truszczyński, Mirosław

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 4.04 MB

english, 2011

3

Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

Miroslaw Truszczyński

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 310 KB

english, 2010

4

Decomposition of large uniform hypergraphs

Zbigniew Lonc, Miroslaw Truszczyński

Journal:

Year:

1985

Language:

english

File:

PDF, 294 KB

english, 1985

5

Predicate-calculus-based logics for modeling and solving search problems

East, Deborah, Truszczyński, Miroslaw

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 293 KB

english, 2006

6

Minimal knowledge problem: A new approach

Grigori Schwarz, Mirosław Truszczyński

Journal:

Artificial Intelligence

Year:

1994

Language:

english

File:

PDF, 1.79 MB

english, 1994

7

Indexing functions and time lower bounds for sorting on a mesh-connected computer

Yijie Han, Yoshihide Igarashi, Miroslaw Truszczynski

Journal:

Discrete Applied Mathematics

Year:

1992

Language:

english

File:

PDF, 1.06 MB

english, 1992

8

Logic programs with abstract constraint atoms: The role of computations

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczyński

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 326 KB

english, 2010

9

Jump number problem: The role of matroids

Mirosław Truszczyński

Journal:

Year:

1985

Language:

english

File:

PDF, 422 KB

english, 1985

10

Complexity of computing with extended propositional logic programs

V. Wiktor Marek, Arcot Rajasekar, Mirosław Truszczyński

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 1.28 MB

english, 1995

11

Uniform semantic treatment of default and autoepistemic logics

Marc Denecker, Victor W. Marek, Mirosław Truszczyński

Journal:

Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 357 KB

english, 2003

12

Default logic and specification of nonmonotonic reasoning

Engelfriet, Joeri, Wiktor Marek, V., Treur, Jan, Truszczynski, Miroslaw

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 1.35 MB

english, 2001

13

Autoepistemic logic

Marek, Wiktor, Truszczyński, Mirosław

Journal:

Journal of the ACM

Year:

1991

Language:

english

File:

PDF, 2.17 MB

english, 1991

14

Fixed-parameter complexity of semantics for logic programs

Lonc, Zbigniew, Truszczyński, Miroslaw

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 260 KB

english, 2003

15

Answer Set Programming: An Introduction to the Special Issue

Brewka, Gerhard, Eiter, Thomas, Truszczynski, Miroslaw

Journal:

Year:

2016

File:

PDF, 421 KB

2016

16

Asymptotic results on saturated graphs

Miroslaw Truszczynski, Zsolt Tuza

Journal:

Discrete Mathematics

Year:

1991

Language:

english

File:

PDF, 449 KB

english, 1991

17

Primal graphs with small degrees

Phyllis Z. Chinn, R.Bruce Richter, Miroslaw Truszczynski

Journal:

Discrete Mathematics

Year:

1991

Language:

english

File:

PDF, 746 KB

english, 1991

18

Decompositions of graphs into forests with bounded maximum degree

Mirosław Truszczyński

Journal:

Discrete Mathematics

Year:

1991

Language:

english

File:

PDF, 995 KB

english, 1991

19

Decompositions of regular bipartite graphs

Michael S. Jacobson, Miroslaw Truszczyński, Zsolt Tuza

Journal:

Discrete Mathematics

Year:

1991

Language:

english

File:

PDF, 692 KB

english, 1991

20

Rado's selection principle: applications to binary relations, graph and hypergraph colorings and partially ordered sets

Miroslaw Truszczynski, Zsolt Tuza

Journal:

Discrete Mathematics

Year:

1992

Language:

english

File:

PDF, 917 KB

english, 1992

21

Generalized local colorings of graphs

Miroslaw Truszczyński

Journal:

Journal of Combinatorial Theory, Series B

Year:

1992

Language:

english

File:

PDF, 649 KB

english, 1992

22

On the number of minimal transversals in 3-uniform hypergraphs

Zbigniew Lonc, Mirosław Truszczyński

Journal:

Discrete Mathematics

Year:

2008

Language:

english

File:

PDF, 254 KB

english, 2008

23

Annotated revision programs

Victor Marek, Inna Pivkina, Mirosław Truszczyński

Journal:

Artificial Intelligence

Year:

2002

Language:

english

File:

PDF, 256 KB

english, 2002

24

Note on the decomposition of λKm,n (λKm,n*) into paths

Mirosław Truszczyński

Journal:

Discrete Mathematics

Year:

1985

Language:

english

File:

PDF, 450 KB

english, 1985

25

A note on local colorings of graphs

Andrzej Ruciński, Miroslaw Truszczyński

Journal:

Discrete Mathematics

Year:

1997

Language:

english

File:

PDF, 223 KB

english, 1997

26

Extremal problems in logic programming and stable model computation

Pawel Cholewinski, Miroslaw Truszczynski

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 1.62 MB

english, 1999

27

Constraint Lingo: towards high-level constraint programming

Raphael Finkel, Victor W. Marek, Mirosław Truszczyński

Journal:

Software: Practice and Experience

Year:

2004

Language:

english

File:

PDF, 224 KB

english, 2004

28

Linear upper bounds for local Ramsey numbers

Miroslaw Truszczynski, Zsolt Tuza

Journal:

Graphs and Combinatorics

Year:

1987

Language:

english

File:

PDF, 486 KB

english, 1987

29

Strong and uniform equivalence of nonmonotonic theories – an algebraic approach

Mirosław Truszczyński

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 424 KB

english, 2006

30

My six encounters with Victor Marek—a personal account

Mirosław Truszczyński

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 152 KB

english, 2008

31

Hyperequivalence of logic programs with respect to supported models

Mirosław Truszczyński, Stefan Woltran

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 581 KB

english, 2008

32

Preface

Michael Kaminski, Mirosław Truszczyński

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 137 KB

english, 2008

33

Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques

Lengning Liu, Mirosław Truszczyński

Journal:

Year:

2007

Language:

english

File:

PDF, 571 KB

english, 2007

34

On graph equivalences preserved under extensions

Zbigniew Lonc, Mirosław Truszczyński

Journal:

Discrete Mathematics

Year:

2011

Language:

english

File:

PDF, 304 KB

english, 2011

35

Representation theory for default logic

V. Wiktor Marek, Jan Treur, Mirosław Truszczyński

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 393 KB

english, 1997

36

Once more on storage for consecutive retrieval

Mirosław Truszczyński

Journal:

Information Processing Letters

Year:

1980

Language:

english

File:

PDF, 507 KB

english, 1980

37

Ultimate approximation and its application in nonmonotonic knowledge representation systems

Marc Denecker, Victor W. Marek, Mirosław Truszczyński

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 368 KB

english, 2004

38

Constructions of asymptotically shortest k-radius sequences

Jerzy W. Jaromczyk, Zbigniew Lonc, Mirosław Truszczyński

Journal:

Journal of Combinatorial Theory, Series A

Year:

2012

Language:

english

File:

PDF, 228 KB

english, 2012

39

Vertex Primal Graphs

MIROSLAW TRUSZCZYNSKI

Journal:

Annals of the New York Academy of Sciences

Year:

1989

Language:

english

File:

PDF, 288 KB

english, 1989

40

[Lecture Notes in Computer Science] Logic Programming Volume 4079 || TOAST: Applying Answer Set Programming to Superoptimisation

Etalle, Sandro, Truszczyński, Mirosław

Year:

2006

Language:

english

File:

PDF, 402 KB

english, 2006

41

[Lecture Notes in Computer Science] Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Volume 9060 ||

Eiter, Thomas, Strass, Hannes, Truszczyński, Mirosław, Woltran, Stefan

Year:

2015

Language:

english

File:

PDF, 10.28 MB

english, 2015

42

[Lecture Notes in Computer Science] Logic Programming Volume 4079 || Deductive Spreadsheets Using Tabled Logic Programming

Etalle, Sandro, Truszczyński, Mirosław

Year:

2006

Language:

english

File:

PDF, 814 KB

english, 2006

43

[Lecture Notes in Computer Science] Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Volume 9060 || A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence

Eiter, Thomas, Strass, Hannes, Truszczyński, Mirosław, Woltran, Stefan

Year:

2015

Language:

english

File:

PDF, 225 KB

english, 2015

44

[Lecture Notes in Computer Science] Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Volume 9060 || Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving

Eiter, Thomas, Strass, Hannes, Truszczyński, Mirosław, Woltran, Stefan

Year:

2015

Language:

english

File:

PDF, 1.52 MB

english, 2015

45

Default logic and specification of nonmonotonic reasoning

Engelfriet, Joeri, Wiktor Marek, V., Treur, Jan, Truszczynski, Miroslaw

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 700 KB

english, 2001

46

Modal nonmonotonic logics: ranges, characterization, computation

Marek, V. Wiktor, Schwarz, Grigori F., Truszczyński, Mirosław

Journal:

Journal of the ACM

Year:

1993

Language:

english

File:

PDF, 1.87 MB

english, 1993

47

[ACM Press the 37th annual Southeast regional conference (CD-ROM) - Not Known (1999..-..)] Proceedings of the 37th annual Southeast regional conference (CD-ROM) on - ACM-SE 37 - The rectilinear Steiner tree problem

Leverenz, Christine R., Truszczynski, Miroslaw

Year:

1999

Language:

english

File:

PDF, 62 KB

english, 1999

48

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 9345 ||

Calimeri, Francesco, Ianni, Giovambattista, Truszczynski, Miroslaw

Year:

2015

Language:

english

File:

PDF, 17.37 MB

english, 2015

49

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 9345 || Mobile Robot Planning Using Action Language $${\mathcal {BC}}$$ with an Abstraction Hierarchy

Calimeri, Francesco, Ianni, Giovambattista, Truszczynski, Miroslaw

Year:

2015

Language:

english

File:

PDF, 1.10 MB

english, 2015

50

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 9345 || Algorithmic Decision Theory Meets Logic

Calimeri, Francesco, Ianni, Giovambattista, Truszczynski, Miroslaw

Year:

2015

Language:

english

File:

PDF, 122 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски